FDL - Nuprl Definition : es-real-and

Nuprl Definition : es-real-and

11,40

es-real-and{i:l}(P;Q;X;Y;p)
== <(X.1)

(Y.1), TERMOF{R-and-rule:ObjectId, 1:l, i:l}((X.1),Y.1,P,Q,X.2,Y.2,p)>

clarification:

es-real-and{i:l}
es-real-and(P; Q; X; Y; p)
== <(X.1)

(Y.1), TERMOF{R-and-rule:ObjectId, 1:l, i:l}((X.1),Y.1,P,Q,X.2,Y.2,p)>

Definitions t.2, t.1, R-and-rule, f(a), left right, <a, b>

FDL editor aliases es-real-and

Definitions	t.2, t.1, R-and-rule, f(a), left right, <a, b>
FDL editor aliases	es-real-and